A universal solution

The phenomenon of an implicit function which solves a large set of second order partial differential equations obtainable from a variational principle is explicated by the introduction of a class of universal solutions to the equations derivable from an arbitrary Lagrangian which is homogeneous of weight one in the field derivatives. This result is extended to many fields. The imposition of Lorentz invariance makes such Lagrangians unique, and equivalent to the Companion Lagrangians introduced in [baker].Comment: arxiv version is already officia

Stable divisorial gonality is in NP

Divisorial gonality and stable divisorial gonality are graph parameters, which have an origin in algebraic geometry. Divisorial gonality of a connected graph $G$ can be defined with help of a chip firing game on $G$. The stable divisorial gonality of $G$ is the minimum divisorial gonality over all subdivisions of edges of $G$. In this paper we prove that deciding whether a given connected graph has stable divisorial gonality at most a given integer $k$ belongs to the class NP. Combined with the result that (stable) divisorial gonality is NP-hard by Gijswijt, we obtain that stable divisorial gonality is NP-complete. The proof consist of a partial certificate that can be verified by solving an Integer Linear Programming instance. As a corollary, we have that the number of subdivisions needed for minimum stable divisorial gonality of a graph with $n$ vertices is bounded by $2^{p(n)}$ for a polynomial $p$

Comment on ``Intermittent Synchronization in a Pair of Coupled Chaotic Pendula"

The main aim of this comment is to emphasize that the conditional Lyapunov exponents play an important role in distinguishing between intermittent and persistent synchronization, when the analytic criteria for asymptotic stability are not uniformly obeyed.Comment: 2 pages, RevTeX 4, 1 EPS figur

BUCLAP2: A computer program for instability analysis of laminated long plates subjected to combined inplane loads. User's manual

The usage of the computer program BUCLAP2 is described. The program is intended for linear instability analysis of long, rectangular flat and curved laminated plates with arbitrary orientation of orthotropic axes in each layer. The loadings considered are combinations of inplane normal and shear loads. Arbitray elastic boundary conditions are included for the sides of the plate Instructions for use of the program are included along with Input data requirements, output information, and sample problems. For program description, see

Input guide for computer programs to generate thermodynamic data for air and Freon CF4

FORTRAN computer programs were developed to calculate the thermodynamic properties of Freon 14 and air for isentropic expansion from given plenum conditions. Thermodynamic properties for air are calculated with equations derived from the Beattie-Bridgeman nonstandard equation of state and, for Freon 14, with equations derived from the Redlich-Quang nonstandard equation of state. These two gases are used in scale model testing of model rocket nozzle flow fields which requires simulation of the prototype plume shape with a cold flow test approach. Utility of the computer programs for use in analytical prediction of flow fields is enhanced by arranging card or tape output of the data in a format compatible with a method-of-characteristics computer program

Concepts for 18/30 GHz satellite communication system study. Executive summary

An examination of a multiplicity of interconnected parameters ranging from specific technology details to total system economic costs for satellite communication systems at the 18/30 GHz transmission bands are presented. It was determined that K sub A band systems can incur a small communications outage during very heavy rainfall periods and that reducing the outage to zero would lead to prohibitive system costs. On the other hand, the economics of scale, ie, one spacecraft accommodating 2.5 GHz of bandwidth coupled with multiple beam frequency reuse, leads to very low costs for those users who can tolerate the 5 to 50 hours per year of downtime. A multiple frequency band satellite network can provide the ultimate optimized match to the consumer performance/economics demands

Analysis of SRM model nozzle calibration test data in support of IA12B, IA12C and IA36 space shuttle launch vehicle aerodynamics tests

Variations of nozzle performance characteristics of the model nozzles used in the Space Shuttle IA12B, IA12C, IA36 power-on launch vehicle test series are shown by comparison between experimental and analytical data. The experimental data are nozzle wall pressure distributions and schlieren photographs of the exhaust plume shapes. The exhaust plume shapes were simulated experimentally with cold flow while the analytical data were generated using a method-of-characteristics solution. Exhaust plume boundaries, boundary shockwave locations and nozzle wall pressure measurements calculated analytically agree favorably with the experimental data from the IA12C and IA36 test series. For the IA12B test series condensation was suspected in the exhaust plumes at the higher pressure ratios required to simulate the prototype plume shapes. Nozzle calibration tests for the series were conducted at pressure ratios where condensation either did not occur or if present did not produce a noticeable effect on the plume shapes. However, at the pressure ratios required in the power-on launch vehicle tests condensation probably occurs and could significantly affect the exhaust plume shapes

Modeling Human Ad Hoc Coordination

Whether in groups of humans or groups of computer agents, collaboration is most effective between individuals who have the ability to coordinate on a joint strategy for collective action. However, in general a rational actor will only intend to coordinate if that actor believes the other group members have the same intention. This circular dependence makes rational coordination difficult in uncertain environments if communication between actors is unreliable and no prior agreements have been made. An important normative question with regard to coordination in these ad hoc settings is therefore how one can come to believe that other actors will coordinate, and with regard to systems involving humans, an important empirical question is how humans arrive at these expectations. We introduce an exact algorithm for computing the infinitely recursive hierarchy of graded beliefs required for rational coordination in uncertain environments, and we introduce a novel mechanism for multiagent coordination that uses it. Our algorithm is valid in any environment with a finite state space, and extensions to certain countably infinite state spaces are likely possible. We test our mechanism for multiagent coordination as a model for human decisions in a simple coordination game using existing experimental data. We then explore via simulations whether modeling humans in this way may improve human-agent collaboration.Comment: AAAI 201